Synthesis of UNIX programs using derivational analogy
نویسندگان
چکیده
منابع مشابه
Domain-Based Program Synthesis Using Planning and Derivational Analogy
widely held belief that constructing an automatic program synthesis system that can accept a high-level description of a problem for an arbitrary domain and generate code for the problem completely automatically is pragmatically impossible. However, by focusing on a well-defined domain, it is possible to incorporate sufficient knowledge within a system so that it can communicate with an end use...
متن کاملEmpirical Evidence for Derivational Analogy
Analogical problem solving is mostly described as transfer of a source solution to a target problem based on the structural correspondences (mapping) between source and target. Derivational analogy (Carbonell, 1986) proposes an alternative view: A target problem is solved by replaying a remembered problem solving episode. Thus, the experience with the source problem is used to guide the search ...
متن کاملAn Argument for Derivational Analogy
A common reason for the use of analogy in (computational) problem solving is the lack of appropriate object-level knowledge, e.g. rules, necessary to solve the problem from first principles. Hence, the absence of sufficient (object-level) domain knowledge is assumed in most case-based reasoning (CBR) systems. Even those CBR systems that combine rule-based and casebased reasoning rely on a simil...
متن کاملWhen (not) to Use Derivational Analogy: Lessons Learned Using APU
We present an experience report in applying derivational analogy to speed up the performance of a prototype system called APU that synthesizes UNIX shell scripts from a problem specification. We present experimental results showing how the system performed, the quality of solutions obtained by using analogy, and how the system scaled up with size of case libraries. We discuss the implications o...
متن کاملsynthesis of amido alkylnaphthols using nano-magnetic particles and surfactants
we used dbsa and nano-magnetic for the synthesis of amido alkylnaphtols.
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Machine Learning
سال: 1993
ISSN: 0885-6125,1573-0565
DOI: 10.1007/bf00993480